机译:乐高Mindstorms NXT方法,用于数据采集,控制系统工程和实时系统本科课程的教学
机译:使用LEGO®Mindstorms®NXT在Ada中进行实时系统开发
机译:使用乐高Mindstorms NXT电机系统的控制系统实验室
机译:模型检查实时控制程序:使用UPPAAL验证LEGO(R)MINDSTORMS / sup TM /系统
机译:使用模型检查工具(Xuppaal和Kronos)验证中型实时软件系统
机译:支持适航性认证的无人机飞行控制系统的实时可靠性验证
机译:模型检查实时控制程序–使用UPPAAL验证乐高头脑风暴系统